On a spectrum of set theories
نویسندگان
چکیده
منابع مشابه
On Relating Type Theories and Set Theories
Introduction The original motivation 1 for the work described in this paper was to determine the proof theoretic strength of the type theories implemented in the proof development systems Lego and Coq, Luo and Pollack 92, Barras et al 96]. These type theories combine the impredicative type of propositions 2 , from the calculus of constructions, Coquand 90], with the inductive types and hierarch...
متن کاملPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملOn Combining Theories with Shared Set Operations
We explore the problem of automated reasoning about the nondisjoint combination of theories that share set variables and operations. We prove a combination theorem and apply it to show the decidability of the satisfiability problem for a class of formulas obtained by applying propositional operations to quantified formulas belonging to several expressive decidable logics.
متن کاملthe impact of training on second language writing assessment: a case of raters’ biasedness
چکیده هدف اول این تحقیق بررسی تأثیر آموزش مصحح بر آموزش گیرندگان براساس پایایی نمره های آنها در پنج بخش شامل محتوا ، سازمان ، لغت ، زبان و مکانیک بود. هدف دوم این بود که بدانیم آیا تفاوتهای بین آموزشی گیرندگان زن و مرد در پایایی نمرات آنها وجود دارد. برای بررسی این موارد ، ما 90 دانشجو در سطح میانه (متوسط) که از طریق تست تعیین سطح شده بودند انتخاب شدند. بعد از آنها خواستیم که درباره دو موضوع ا...
15 صفحه اولON THE MAXIMAL SPECTRUM OF A MODULE
Let $R$ be a commutative ring with identity. The purpose of this paper is to introduce and study two classes of modules over $R$, called $mbox{Max}$-injective and $mbox{Max}$-strongly top modules and explore some of their basic properties. Our concern is to extend some properties of $X$-injective and strongly top modules to these classes of modules and obtain some related results.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 1960
ISSN: 0019-2082
DOI: 10.1215/ijm/1255456058